$\forall$$w$:World, $e$:E. w{-}pred($w$;$e$) $\in$ E+Unit